canonical homorphism

正準同態